Synchronous Equivalence Viola Eckelt 4Phase 4: Die 80er Jahre

4Phase 4: Die 80er Jahre bis zur Gegenwart21

issued in 1970 and 1977 have proved particularly valuable

Stuttgart: Verlag der J

Hermine von Gilgen

giving rise to a complex linkage between industry

Synchronous Equivalence Viola Eckelt 4Phase 4: Die 80er JahreAn embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in the system, either taking up roles that used to be performed by mechanical devices, or providing functionality that is not otherwise possible. The goal of this book is to investigate how formal methods can be applied to the